Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.dev·1d·
Discuss: Hacker News
⚔️Lean Theorem
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.org·8h
🎞️Tape Combinatorics
Cactus Language • Pragmatics 4
inquiryintoinquiry.com·1d
📐Format Grammars
Symbolic-numeric programming in scientific computing
dspace.mit.edu·8h
🧬Functional Programming
original ↗
johndcook.com·1d
📐Error Bounds
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·11h·
Discuss: Hacker News
🧮Constraint SMT
Spiral Matrix: Another Matrix Layer Problem
mmhaskell.com·2d
🔗Combinatory Logic
Double Maths First Thing: Issue 2F
aperiodical.com·4h
🔬Lean
Laurence Tratt: Which Parsing Approach?
tratt.net·1d·
Discuss: r/programming
📝Parsing Grammars
Graded Transformers: A Symbolic-Geometric Approach to Structured Learning
arxiv.org·1d
🤖Grammar Induction
Extensions and Shadows (8)
sites.psu.edu·1d
🧮Kolmogorov Bounds
(Weak) Factorization Systems
bartoszmilewski.com·3d·
Discuss: Hacker News
🔀Category Theory
One Weird Trick to Untie Landin's Knot
arxiv.org·8h
⬆️Lambda Lifting
[D] Math book recommendations for NN theory
reddit.com·12h·
Discuss: r/MachineLearning
💻Programming languages
Curves, points, incidences and covering
arxiv.org·8h
📊Computational Geometry
Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
arxiv.org·8h
💻Programming languages
Semantic Numeration Systems as Dynamical Systems
arxiv.org·8h
🔗Constraint Handling
Why I'm Porting GNU Coreutils to Python (And How You Can Help!)
dev.to·1h·
Discuss: DEV
🐚Nordic Shell
Should You Validate Again? A Smarter Way to Handle Data Trust
hackernoon.com·6h
✅Format Verification
Rao Reading Algorithm
raohacker.com·23h·
Discuss: Hacker News
🧠Intelligence Compression